Anshen liming ou la dimension religieuse du confucianisme

Contribution a l'etude du traitement de la morve experimentale du cobaye par l'anamorve, la sulfadiazine, la penicilline et la Streptomycine

Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis

RÉSUMÉ. Nous présentons dans ce papier un algorithme de résolution, dans la théorie T des arbres (éventuellement infinis), des contraintes représentées par des formules générales du premier ordre, avec pour seul symbole de relation l’égalité et pour symboles de fonctions les éléments d’un ensemble infini F. L’algorithme est constitué d’un ensemble de 11 règles de réécriture de sous-formules en ...

Un automate pour la génération complète ou partielle des concepts du treillis de Galois

Résumé. Cet article se situe dans le domaine de l’analyse formelle de concepts et du treillis de concepts (treillis de Galois) lequel est un cadre théorique intéressant pour le regroupement conceptuel des données et la génération des règles d’association. Puisque la prospection de données (data mining) est utilisée comme support à la prise de décision par des analystes rarement intéressés par l...

La conservation du virus de la peste bovine par lyophilisation

Au sujet du traitement de la gourme du cheval par la sulfamido-chrysoidine